On finitely ambiguous B\"uchi automata

Unambiguous B\"uchi automata, i.e. B\"uchi automata allowing only one accepting run per word, are a useful restriction of B\"uchi automata that is well-suited for probabilistic model-checking. In this paper we propose a more permissive variant, namely finitely ambiguous B\"uchi automata, a generalisation where each word has at most $k$ accepting runs, for some fixed $k$. We adapt existing notions and results concerning finite and bounded ambiguity of finite automata to the setting of $\omega$-languages and present a translation from arbitrary nondeterministic B\"uchi automata with $n$ states to finitely ambiguous automata with at most $3^n$ states and at most $n$ accepting runs per word

Minimal Synthesis of String To String Functions From Examples

We study the problem of synthesizing string to string transformations from a set of input/output examples. The transformations we consider are expressed using deterministic finite automata (DFA) that read pairs of letters, one letter from the input and one from the output. The DFA corresponding to these transformations have additional constraints, ensuring that each input string is mapped to exactly one output string. We suggest that, given a set of input/output examples, the smallest DFA consistent with the examples is a good candidate for the transformation the user was expecting. We therefore study the problem of, given a set of examples, finding a minimal DFA consistent with the examples and satisfying the functionality and totality constraints mentioned above. We prove that, in general, this problem (the corresponding decision problem) is NP-complete. This is unlike the standard DFA minimization problem which can be solved in polynomial time. We provide several NP-hardness proofs that show the hardness of multiple (independent) variants of the problem. Finally, we propose an algorithm for finding the minimal DFA consistent with input/output examples, that uses a reduction to SMT solvers. We implemented the algorithm, and used it to evaluate the likelihood that the minimal DFA indeed corresponds to the DFA expected by the user.Comment: SYNT 201

Refining complexity analyses in planning by exploiting the exponential time hypothesis

The use of computational complexity in planning, and in AI in general, has always been a disputed topic. A major problem with ordinary worst-case analyses is that they do not provide any quantitative information: they do not tell us much about the running time of concrete algorithms, nor do they tell us much about the running time of optimal algorithms. We address problems like this by presenting results based on the exponential time hypothesis (ETH), which is a widely accepted hypothesis concerning the time complexity of 3-SAT. By using this approach, we provide, for instance, almost matching upper and lower bounds onthe time complexity of propositional planning.Funding Agencies|National Graduate School in Computer Science (CUGS), Sweden; Swedish Research Council (VR) [621-2014-4086]</p

A Secular Trend toward Earlier Male Sexual Maturity: Evidence from Shifting Ages of Male Young Adult Mortality

This paper shows new evidence of a steady long-term decline in age of male sexual maturity since at least the mid-eighteenth century. A method for measuring the timing of male maturity is developed based on the age at which male young adult mortality accelerates. The method is applied to mortality data from Sweden, Denmark, Norway, the United Kingdom, and Italy. The secular trend toward earlier male sexual maturity parallels the trend toward earlier menarche for females, suggesting that common environmental cues influence the speed of both males' and females' sexual maturation

Mycolactone-dependent depletion of endothelial cell thrombomodulin is strongly associated with fibrin deposition in Buruli ulcer lesions

A well-known histopathological feature of diseased skin in Buruli ulcer (BU) is coagulative necrosis caused by the Mycobacterium ulcerans macrolide exotoxin mycolactone. Since the underlying mechanism is not known, we have investigated the effect of mycolactone on endothelial cells, focussing on the expression of surface anticoagulant molecules involved in the protein C anticoagulant pathway. Congenital deficiencies in this natural anticoagulant pathway are known to induce thrombotic complications such as purpura fulimans and spontaneous necrosis. Mycolactone profoundly decreased thrombomodulin (TM) expression on the surface of human dermal microvascular endothelial cells (HDMVEC) at doses as low as 2ng/ml and as early as 8hrs after exposure. TM activates protein C by altering thrombin's substrate specificity, and exposure of HDMVEC to mycolactone for 24 hours resulted in an almost complete loss of the cells' ability to produce activated protein C. Loss of TM was shown to be due to a previously described mechanism involving mycolactone-dependent blockade of Sec61 translocation that results in proteasome-dependent degradation of newly synthesised ER-transiting proteins. Indeed, depletion from cells determined by live-cell imaging of cells stably expressing a recombinant TM-GFP fusion protein occurred at the known turnover rate. In order to determine the relevance of these findings to BU disease, immunohistochemistry of punch biopsies from 40 BU lesions (31 ulcers, nine plaques) was performed. TM abundance was profoundly reduced in the subcutis of 78% of biopsies. Furthermore, it was confirmed that fibrin deposition is a common feature of BU lesions, particularly in the necrotic areas. These findings indicate that there is decreased ability to control thrombin generation in BU skin. Mycolactone's effects on normal endothelial cell function, including its ability to activate the protein C anticoagulant pathway are strongly associated with this. Fibrin-driven tisischemia could contribute to the development of the tissue necrosis seen in BU lesions

Threat-sensitive anti-predator defence in precocial wader, the northern lapwing Vanellus vanellus

Birds exhibit various forms of anti-predator behaviours to avoid reproductive failure, with mobbing—observation, approach and usually harassment of a predator—being one of the most commonly observed. Here, we investigate patterns of temporal variation in the mobbing response exhibited by a precocial species, the northern lapwing (Vanellus vanellus). We test whether brood age and self-reliance, or the perceived risk posed by various predators, affect mobbing response of lapwings. We quantified aggressive interactions between lapwings and their natural avian predators and used generalized additive models to test how timing and predator species identity are related to the mobbing response of lapwings. Lapwings diversified mobbing response within the breeding season and depending on predator species. Raven Corvus corax, hooded crow Corvus cornix and harriers evoked the strongest response, while common buzzard Buteo buteo, white stork Ciconia ciconia, black-headed gull Chroicocephalus ridibundus and rook Corvus frugilegus were less frequently attacked. Lapwings increased their mobbing response against raven, common buzzard, white stork and rook throughout the breeding season, while defence against hooded crow, harriers and black-headed gull did not exhibit clear temporal patterns. Mobbing behaviour of lapwings apparently constitutes a flexible anti-predator strategy. The anti-predator response depends on predator species, which may suggest that lapwings distinguish between predator types and match mobbing response to the perceived hazard at different stages of the breeding cycle. We conclude that a single species may exhibit various patterns of temporal variation in anti-predator defence, which may correspond with various hypotheses derived from parental investment theory

Senescence Is More Important in the Natural Lives of Long- Than Short-Lived Mammals

Senescence has been widely detected among mammals, but its importance to fitness in wild populations remains controversial. According to evolutionary theories, senescence occurs at an age when selection is relatively weak, which in mammals can be predicted by adult survival rates. However, a recent analysis of senescence rates found more age-dependent mortalities in natural populations of longer lived mammal species. This has important implications to ageing research and for understanding the ecological relevance of senescence, yet so far these have not been widely appreciated. We re-address this question by comparing the mean and maximum life span of 125 mammal species. Specifically, we test the hypothesis that senescence occurs at a younger age relative to the mean natural life span in longer lived species.We show, using phylogenetically-informed generalised least squares models, a significant log-log relationship between mean life span, as calculated from estimates of adult survival for natural populations, and maximum recorded life span among mammals (R2=0.57, p<0.0001). This provides further support for a key prediction of evolutionary theories of ageing. The slope of this relationship (0.353+/-0.052 s.e.m.), however, indicated that mammals with higher survival rates have a mean life span representing a greater fraction of their potential maximum life span: the ratio of maximum to mean life span decreased significantly from >10 in short-lived to approximately 1.5 in long-lived mammal species.We interpret the ratio of maximum to mean life span to be an index of the likelihood an individual will experience senescence, which largely determines maximum life span. Our results suggest that senescence occurs at an earlier age relative to the mean life span, and therefore is experienced by more individuals and remains under selection pressure, in long- compared to short-lived mammals. A minimum rate of somatic degradation may ultimately limit the natural life span of mammals. Our results also indicate that senescence and modulating factors like oxidative stress are increasingly important to the fitness of longer lived mammals (and vice versa)

Alendronate decreases orthotopic PC-3 prostate tumor growth and metastasis to prostate-draining lymph nodes in nude mice

<p>Abstract</p> <p>Background</p> <p>Metastatic prostate cancer is associated with a high morbidity and mortality but the spreading mechanisms are still poorly understood. The aminobisphosphonate alendronate, used to reduce bone loss, has also been shown to inhibit the invasion and migration of prostate cancer cells <it>in vitro</it>. We used a modified orthotopic PC-3 nude mouse tumor model of human prostate cancer to study whether alendronate affects prostate tumor growth and metastasis.</p> <p>Methods</p> <p>PC-3 cells (5 × 10⁵) were implanted in the prostates of nude mice and the mice were treated with alendronate (0.5 mg/kg/day in PBS, s.c.) or vehicle for 4 weeks. After sacrifice, the sizes of tumor-bearing prostates were measured and the tumors and prostate-draining regional iliac and sacral lymph nodes were excised for studies on markers of proliferation, apoptosis, angiogenesis and lymphangiogenesis, using histomorphometry and immunohistochemistry.</p> <p>Results</p> <p>Tumor occurrence in the prostate was 73% in the alendronate-treated group and 81% in the control group. Mean tumor size (218 mm³, range: 96–485 mm³, <it>n </it>= 11) in the alendronate-treated mice was 41% of that in the control mice (513 mm³, range: 209–1350 mm³, <it>n </it>= 13) (<it>p </it>< 0.05). In the iliac and sacral lymph nodes of alendronate-treated mice, the proportion of metastatic area was only about 10% of that in control mice (<it>p </it>< 0.001). Immunohistochemical staining of tumor sections showed that alendronate treatment caused a marked decrease in the number of CD34-positive endothelial cells in tumors (<it>p </it>< 0.001) and an increase in that of ISEL positive apoptotic cells in tumors as well as in lymph node metastases (<it>p </it>< 0.05) compared with those in the vehicle-treated mice. The density of m-LYVE-1-stained lymphatic capillaries was not changed.</p> <p>Conclusion</p> <p>Our results demonstrate that alendronate treatment opposes growth of orthotopic PC-3 tumors and decreases tumor metastasis to prostate-draining lymph nodes. This effect could be at least partly explained by decreased angiogenesis and increased apoptosis. The results suggest that bisphosphonates have anti-tumoral and anti-invasive effects on primary prostate cancer.</p

Gender Separation Increases Somatic Growth in Females but Does Not Affect Lifespan in Nothobranchius furzeri

According to life history theory, physiological and ecological traits and parameters influence an individual's life history and thus, ultimately, its lifespan. Mating and reproduction are costly activities, and in a variety of model organisms, a negative correlation of longevity and reproductive effort has been demonstrated. We are employing the annual killifish Nothobranchius furzeri as a vertebrate model for ageing. N. furzeri is the vertebrate displaying the shortest known lifespan in captivity with particular strains living only three to four months under optimal laboratory conditions. The animals show explosive growth, early sexual maturation and age-dependent physiological and behavioural decline. Here, we have used N. furzeri to investigate a potential reproduction-longevity trade-off in both sexes by means of gender separation. Though female reproductive effort and offspring investment were significantly reduced after separation, as investigated by analysis of clutch size, eggs in the ovaries and ovary mass, the energetic surplus was not reallocated towards somatic maintenance. In fact, a significant extension of lifespan could not be observed in either sex. This is despite the fact that separated females, but not males, grew significantly larger and heavier than the respective controls. Therefore, it remains elusive whether lifespan of an annual species evolved in periodically vanishing habitats can be prolonged on the cost of reproduction at all